Kripke

Kripke
Krịpke,
 
Saul Aaron, amerikanischer Logiker und Philosoph, * Bay Shore (N. Y.) 13. 11. 1940; erregte 1959 Aufsehen, als er mithilfe der von ihm entwickelten Modellvorstellung der »möglichen Welten« (Kripke-Semantik) zeigen konnte, dass die Modallogik vollständig ist. Andere Arbeiten betrafen die Rekursionstheorie und die Mengenlehre. 1972 wurde Kripke Professor an der Rockefeller University, seit 1977 ist er an der Princeton University tätig. Ausgehend von der Vorstellung der möglichen Welten schlug Kripke in seinem philosophischen Hauptwerk »Naming and necessity« (1972; deutsch »Name und Notwendigkeit«) eine neue Interpretation der Begriffspaare »a priori/a posteriori« und »notwendig/zufällig« vor. Besonders die Theorie, Namen seien »starre Designatoren«, deren Bedeutung in allen möglichen Welten dieselbe sei, hat viele Diskussionen hervorgerufen. Neuere Arbeiten von Kripke betreffen die Wahrheitstheorie.

Universal-Lexikon. 2012.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Kripke — ist der Name folgender Personen: Eric Kripke (* 1974), Regisseur, Produzent und Drehbuchautor Saul Aaron Kripke (* 1940), US amerikanischer Philosoph und Logiker Diese Seite ist eine Begriffsklärung zur Unterscheidung mehrer …   Deutsch Wikipedia

  • Kripke — Kripke, Saul Aaron …   Philosophy dictionary

  • Kripke's — Kripke, Saul Aaron …   Philosophy dictionary

  • Kripke — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Saul Aaron Kripke, philosophe et logicien américain né en novembre 1940 ; Eric Kripke, créateur de la série télévisée américaine Supernatural.… …   Wikipédia en Français

  • Kripke semantics — (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non classical logic systems created in the late 1950s and early 1960s by Saul Kripke. It was first made for modal… …   Wikipedia

  • KRIPKE, SAUL AARON — (1940– ), U.S. philosopher interested in metaphysics, philosophy of language, epistemology, philosophy of mind, and philosophy of logic and mathematics. Kripke helped advance understanding in modal logic, intuitionistic logic, and set theory.… …   Encyclopedia of Judaism

  • Kripke, Saul — ▪ American logician and philosopher Introduction in full  Saul Aaron Kripke  born Nov. 13, 1940, Bay Shore, Long Island, N.Y., U.S.    American logician and philosopher who from the 1960s was one of the most powerful thinkers in Anglo American… …   Universalium

  • Kripke structure — A Kripke structure is a type of nondeterministic finite state machine used in model checking to represent the behaviour of a system. It is basically a graph whose nodes represent the reachable states of the system and whose edges represent state… …   Wikipedia

  • Kripke–Platek set theory — The Kripke–Platek axioms of set theory (KP) (IPAEng|ˈkrɪpki ˈplɑːtɛk) are a system of axioms of axiomatic set theory, developed by Saul Kripke and Richard Platek. The axiom system is written in first order logic; it has an infinite number of… …   Wikipedia

  • Kripke, Saul Aaron — (1940– ) American logician and philosopher. Born in New York, and educated at Harvard and Oxford, Kripke made his early reputation as a logical prodigy, especially through work on the completeness of systems of modal logic. The three classic… …   Philosophy dictionary

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”